# -*- mode: snippet -*-
# name: Program Fixpoint
# key: pfix
# uuid: pfix
# --
Program Fixpoint $1 ($2:$3) {struct ${1:arg}} : $4 :=
$5.
